Hybrid System Model �
نویسندگان
چکیده
In this paper we provide a mathematical characterization of systems that con tain analog components as well as strongly time depended control components and rather time independent information processing components The presented system model is based on the notion of streams and stream processing functions It is used to formalize and integrate the semantics of di erent description tech niques that occur in disciplines like computer science economics electrical and electronical engineering and mechanical engineering In the paper we develop a hierarchy of models We start with a core model that allows us to describe both discrete and continuous that is hybrid behavior Abstractions and re nements of this core model allow to connect to given models for discrete timed and untimed systems The system model presented here is intended to be the base layer for other system models
منابع مشابه
A two-stage stochastic programming model for the optimal sizing of hybrid PV/diesel/battery in hybrid electric ship system
Ships play the major role in bulk transportation and they need their special energy system. This paper proposes a stochastic programing method for optimal sizing of a hybrid ship power system with energy storage system (ESS), photovoltaic power (PV) and diesel generator. To account for uncertainties, in this study a two-stage stochastic mixed-integer non-linear programing is used to model the o...
متن کاملDevelopment of a mathematical model to design an offshore wind and wave hybrid energy system
Fossil Fuels are always considered as environmental pollutants. On the other hand, the political and economic situations highly affect the price of these fuels. Offshore wind and wave, as renewable energy sources, represent the better alternatives for electricity generation. Therefore, it is necessary that wind speeds effectively be estimated due to the absence of field measurements of the wind...
متن کاملHybrid model predictive control of a nonlinear three-tank system based on the proposed compact form of piecewise affine model
In this paper, a predictive control based on the proposed hybrid model is designed to control the fluid height in a three-tank system with nonlinear dynamics whose operating mode depends on the instantaneous amount of system states. The use of nonlinear hybrid model in predictive control leads to a problem of mixed integer nonlinear programming (MINLP) which is very complex and time consuming t...
متن کاملA New WordNet Enriched Content-Collaborative Recommender System
The recommender systems are models that are to predict the potential interests of users among a number of items. These systems are widespread and they have many applications in real-world. These systems are generally based on one of two structural types: collaborative filtering and content filtering. There are some systems which are based on both of them. These systems are named hybrid recommen...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملExperimental Identification and Hybrid PID-Fuzzy Position Control of Continuum Robotic Arms
Continuum robotic arms that are inspired from nature, have many advantages compared to traditional robots, which motivate researchers in this field. Dynamic modeling and controlling these robots are challenging subjects due to complicated nonlinearities and considerable uncertainties existing in these structures. In this paper, first a dynamic three-dimensional model of the continuum robotic ar...
متن کامل